Compatibility in a multi-component environment

Compatibility in a multi-component environment

A distributed environment where many components interact may be functioning in a suboptimal manner due to two main factors: message loss and deadlocks. Message loss occurs when a component is not ready to receive as input a message sent to it. In the case of a deadlock, a system is indefinitely waiting for a message that never arrives. In Carmona and Cortadella (2002) [12] a theory has been pre...

Compatibility of e -Services in a Cooperative Multi-platform Environment

Provide a New Targeting Model in a Centralized Decision Making Environment with a Multi-Component Network Structure

This research seeks to develop resource and goals allocation planning models in a focused decision-making environment with a parallel multi-component network structure in a case study. In such an environment, the problem of resource and goals allocation planning, the determination of the input and output of each of the decision-making units in achieving the goals of the system is such that the ...

Petri Nets in Modeling Component Behavior and Verifying Component Compatibility

In component-based systems, two components are compatible if all possible sequences of services requested by one component can be provided by the other component. Verification of component compatibility is essential in large software systems as otherwise subtle software failures can exist which are difficult to detect through software testing. For verification of compatibility, the behavior of ...

Testing component compatibility in evolving configurations

0950-5849/$ see front matter 2012 Elsevier B.V. A http://dx.doi.org/10.1016/j.infsof.2012.09.010 ⇑ Corresponding author. Tel.: +82 32 626 1213. E-mail addresses: [email protected] (I. Yoon), [email protected] (A. Memon), [email protected] (A. Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active v...